Fiche membre | Laboratoire des Sciences du Numérique de Nantes

: Loig.Jezequelatls2n.fr

Institut universitaire de technologie de Nantes ( IUT Nantes )
La Fleuriaye
2, avenue du Pr Jean Rouxel
BP 539
44475 CARQUEFOU Cedex

Batiment 15, étage 1, bureau D113

Centrale Nantes ( CN )
Petit Port
1, rue de la Noë
BP 92101
44321 NANTES Cedex 3

Batiment S, étage 5, bureau 508

[1] T. Chatain, M. Comlan, D. Delfieu, L. Jezequel, O. Roux. Pomset bisimulation and unfolding for reset Petri nets. In Information and Computation ; éd. Elsevier, 2022, vol. 283.
https://hal.science/hal-03650582

[2] F. Kordon, L. Hillah, F. Hulin-Hubard, L. Jezequel, E. Paviot-Adet. Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019. In International Journal on Software Tools for Technology Transfer ; éd. Springer Verlag, 2021.
https://hal.sorbonne-universite.fr/hal-03251314

[3] L. Jezequel, A. Madalinski, S. Schwoon. Distributed computation of vector clocks in Petri net unfoldings for test selection. In Discrete Event Dynamic Systems ; éd. Springer Verlag, 2020.
https://hal.science/hal-02560296

[4] F. Kordon, H. Garavel, L. Hillah, E. Paviot-Adet, L. Jezequel, C. Rodríguez, F. Hulin-Hubard. MCC’2015 – The Fifth Model Checking Contest. In LNCS Transactions on Petri Nets and Other Models of Concurrency ; éd. Springer, 2016, vol. 9930.
https://inria.hal.science/hal-01361274

[5] L. Jezequel, E. Fabre, V. Khomenko. Factored Planning: From Automata to Petri Nets. In ACM Transactions on Embedded Computing Systems (TECS) ; éd. ACM, 2015, vol. 14, num. 2.
https://inria.hal.science/hal-01247347

[6] L. Jezequel, E. Fabre. Factored Cost-Optimal Planning Using Message Passing Algorithms. In Fundamenta Informaticae ; éd. Polskie Towarzystwo Matematyczne, 2015, vol. 139, num. 4.
https://inria.hal.science/hal-01247346

[7] L. Jezequel, D. Lime, B. Sérée. A Lazy Query Scheme for Reachability Analysis in Petri Nets. In International Conference on Applications and Theory of Petri Nets and Concurrency, juin 2021, Paris, France.
https://hal.science/hal-03561703

[8] B. Sérée, L. Jezequel, D. Lime. An Algorithm for Single-Source Shortest Paths Enumeration in Parameterized Weighted Graphs. In Language and Automata Theory and Applications, septembre 2021, Milan, Italie.
https://hal.science/hal-03561972

[9] E. Amparore, B. Berthomieu, G. Ciardo, S. Dal Zilio, F. Gallà, L. Hillah, F. Hulin-Hubard, P. Jensen, L. Jezequel, F. Kordon, D. Le Botlan, T. Liebke, J. Meijer, A. Miner, E. Paviot-Adet, J. Srba, Y. Thierry-Mieg, T. van Dijk, K. Wolf. Presentation of the 9th Edition of the Model Checking Contest. In Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings, Part III, avril 2019, Prague, République tchèque.
https://hal.sorbonne-universite.fr/hal-02094047

[10] L. Jezequel, A. Madalinski, S. Schwoon. Distributed computation of vector clocks in Petri nets unfolding for test selection. In Workshop on Discrete Event Systems (WODES), mai 2018, Sorrento, Italie.
https://inria.hal.science/hal-01735406

[11] L. Jezequel, T. Chatain, M. Comlan, D. Delfieu, O. Roux. Pomsets and Unfolding of Reset Petri Nets. In LATA 2018 - 12th International Conference on Language and Automata Theory and Applications, avril 2018, Ramat Gan, Israël.In Shmuel Tomi Klein (éds.), . Springer, 2018.
https://hal.science/hal-01766530

[12] L. Jezequel, D. Lime. Let's Be Lazy, We Have Time or, Lazy Reachability Analysis for Timed Automata. In 15th International Conference on Formal Modeling and Analysis of Timed Systems, septembre 2017, Berlin, Allemagne.
https://hal.science/hal-01699301

[13] L. Jezequel, D. Lime. Lazy Reachability Analysis in Distributed Systems. In 27th International Conference on Concurrency Theory (CONCUR 2016), août 2016, Québec, Canada.
https://hal.science/hal-01699311

[14] L. Jezequel, J. Esparza. Message-Passing Algorithms for the Verification of Distributed Protocols. In 15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2014), janvier 2014, San Diego, états-Unis.
https://hal.science/hal-01699321

[15] T. Chatain, S. Haar, L. Jezequel, L. Paulevé, S. Schwoon. Characterization of Reachable Attractors Using Petri Net Unfoldings. In CMSB 2014, novembre 2014, Manchester, Royaume-Uni.In Pedro Mendes (éds.), . Springer International Publishing, 2014.
https://hal.science/hal-01060450

[16] J. Esparza, L. Jezequel, S. Schwoon. Computation of summaries using net unfoldings. In 33rd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'13), 2013, Guwahati, Inde.
https://hal.science/hal-00925457

[17] L. Jezequel, E. Fabre, V. Khomenko. Factored Planning: From Automata to Petri Nets. In International Conference on Application of Concurrency to System Design (ACSD), juillet 2013, Barcelone, Espagne.
https://inria.hal.science/hal-00931844

[18] L. Jezequel, E. Fabre. Turbo Planning. In Wodes 2012 - 11th International Workshop on Discrete Event Systems, octobre 2012, Guadalajara, Mexique.
https://hal.science/hal-01699581

[19] L. Jezequel, E. Fabre. A#: A distributed version of A* for factored planning. In CDC 2012 - IEEE 51st Annual Conference on Decision and Control, décembre 2012, Maui, états-Unis.
https://hal.science/hal-01699341

[20] L. Jezequel, E. Fabre. Networks of automata with read arcs: a tool for distributed planning. In 18th IFAC World Congress, août 2011, Milan, Italie.
https://hal.science/hal-01699586

[21] E. Fabre, L. Jezequel, P. Haslum, S. Thiébaux. Cost-Optimal Factored Planning: Promises and Pitfalls. In ICAPS 2010 - 20th International Conference on Automated Planning and Scheduling), mai 2010, Toronto, Canada.
https://hal.science/hal-01699599

[22] E. Fabre, L. Jezequel. On the construction of probabilistic diagnosers. In WODES 2010 - 10th International Workshop on Discrete Event Systems, août 2010, Berlin, Allemagne.
https://hal.science/hal-01699592

[23] E. Fabre, L. Jezequel. Distributed Optimal Planning: an Approach by Weighted Automata Calculus. In 48th IEEE Conference on Decision and Control, décembre 2009, Shanghai, Chine.
https://inria.hal.science/hal-00931846

[24] L. Jezequel. Distributed cost-optimal planning. Thèses : École normale supérieure de Cachan - ENS Cachan.
https://theses.hal.science/tel-00825026

[25] L. Jezequel, E. Fabre. A-sharp: a Distributed A-star for Factored Planning. Rapport technique, 2012 ; INRIA.
https://inria.hal.science/hal-00687434